$\forall$$i$:Id. msg{-}spec{-}loc($\otimes$;$i$) $\Leftarrow\!\Rightarrow$ True